Model-Driven Architecture in Practice
This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial ...
Lire la suite
Modern Formal Methods and Applications
Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be ...
Lire la suite
Multiparadigm Programming in Mozart
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting ...
Lire la suiteNext Generation Design and Verification Methodologies for Distributed Embedded Control Systems
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded ...
Lire la suite
OpenMP Shared Memory Parallel Programming : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings
The first part of the book presents 16 revised full papers carefully reviewed and selected from the IWOMP 2005 program and ...
Lire la suite
Principles of Security and Trust
This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
Lire la suite
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Lire la suite
Statistical and Inductive Inference by Minimum Message Length
This book gives a sound introduction to the Minimum Message Length Principle and its applications, provides the theoretical ...
Lire la suite
System Analysis and Modeling
This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
Lire la suite
System Analysis and Modeling: Language Profiles
This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, ...
Lire la suite
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suite
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
ZB 2005: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Lire la suite
